additive postulate

附加 假设